Instance Verification Kit (IVK)

mutex lock @ [4513+30+/linux-3.17-rc1/drivers/misc/mei/wd.c]
Instance Signature: device_lock

The Matching Pair Graph:

Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
mei_me_pci_suspend [8110+18+/linux-3.17-rc1/drivers/misc/mei/pci-me.c]
mei_me_remove [7474+13+/linux-3.17-rc1/drivers/misc/mei/pci-me.c]
mei_stop [6631+8+/linux-3.17-rc1/drivers/misc/mei/init.c]
mei_txe_pci_suspend [5444+19+/linux-3.17-rc1/drivers/misc/mei/pci-txe.c]
mei_txe_remove [4811+14+/linux-3.17-rc1/drivers/misc/mei/pci-txe.c]
mei_wd_ops_stop [5870+15+/linux-3.17-rc1/drivers/misc/mei/wd.c]
mei_wd_stop [3881+11+/linux-3.17-rc1/drivers/misc/mei/wd.c]